منابع مشابه
Eugen Von Böhm - Bawerk ’ S “ Value , Cost , and Marginal Utility ” : Notes on the Translation
Ifirst read Böhm-Bawerk’s essay “Value, Costs, and Marginal Utility” 44 years ago, as part of my research for my MBA thesis, the subject and title of which was The Classical Economists and the Austrians on Value and Costs. I knew at the time that Böhm-Bawerk’s essay very much deserved to be translated. And some 20 or more years later, seeing that no one else had yet made the translation, I deci...
متن کاملTill Axel och Knut
Norlund, F. 2018. Psychological distress in coronary heart disease. Risk indicators, treatment and cardiovascular prognosis. Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Medicine 1412. 75 pp. Uppsala: Acta Universitatis Upsaliensis. ISBN 978-91-513-0192-1. The aims of this thesis were to: (1) explore factors associated with emotional distress; (2) investigate psy...
متن کاملLexis EXam Invigilation System
Over recent years, computers have been making their way into the classroom and lecture theatre. Overhead projectors, blackboards, and whiteboards have been joined or even displaced by smartboards and computer based multimedia presentations. Students with laptops are a common sight, and courses have their lecture notes on the web. Students are taking courses in programming, web-site design, comp...
متن کاملRegular Böhm trees
Böhm trees are the natural infinite generalisations of normal forms in pure λ-calculus. They arose from the work of Böhm on separability (Böhm 1968), and were first identified by Barendregt, who devotes chapter 10 of his book (Barendregt 1980) to their study, and relates denotational models such as D∞ to appropriate quotients over Böhm trees. There is however no generally agreed presentation of...
متن کاملComputing with Böhm Trees
This paper develops a general technique to analyze the head reduction of a term in a context. This technique is used to give a direct proof of the theorem of Hyland and Wadsworth : two -terms that have the same Böhm trees, up to (possibly infinite) -equivalence, are operationally equivalent. It is also used to prove a conjecture of R. Kerth : Every unsolvable -term has a decoration. This syntac...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Ekonomisk Tidskrift
سال: 1914
ISSN: 0284-7310
DOI: 10.2307/3437414